x86_64: fix error checking in arch_set_info_guest()
authorTim Deegan <Tim.Deegan@citrix.com>
Mon, 14 Mar 2011 16:59:49 +0000 (16:59 +0000)
committerTim Deegan <Tim.Deegan@citrix.com>
Mon, 14 Mar 2011 16:59:49 +0000 (16:59 +0000)
commitd62b3c2276ae4caeb4674fe865061b04f0514e66
treeec36d5c7d185801cc11ee6e709cd130a2e5e9450
parent418df701ce4ee54e2ecd5a33f8aa3340ac468e2d
x86_64: fix error checking in arch_set_info_guest()

Cannot specify user mode execution without specifying user-mode
pagetables.

Signed-off-by: Tim Deegan <Tim.Deegan@citrix.com>
Acked-by: Keir Fraser <keir@xen.org>
xen/arch/x86/domain.c